وارسی مدل و راستی آزمایی حین اجرای ضوابط ایمنی ضربان ساز قلب
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده مهندسی برق و کامپیوتر
- نویسنده آرش میرزائی
- استاد راهنما سعید جلیلی
- سال انتشار 1394
چکیده
در این پایان نامه سیستم ضربان ساز قلب به عنوان یک سیستم حیاتی به صورت رسمی توسط سیستمِ گذار حالت تعریف می شود و ضوابط ایمنی آن با استفاده از تعریف سیستم ضربان ساز قلب استخراج و توسط منطق درخت محاسباتی بیان می شوند. سپس با استفاده از ابزار اوپال، سیستم شبیه سازی شده و ضوابط ایمنی در آن بررسی می شوند تا صحت عملکرد و ارضای این ضوابط را در مدل وارسی کند. در صورت ارضا نشدن ضوابط ایمنی، محل و دلیل بروز نقض شناسایی و با اصلاح نقص، سیستم برای پیاده سازی و اجرا، ایمن می شود.
منابع مشابه
وارسی مدل و راستی آزمایی حین اجرای ضوابط ایمنی سیستم کنترل کیسه هوای خودرو
در این پایان نامه سیستم کنترل کیسه ی هوای خودرو به صورت بسیار دقیق و جزئی توسط سیستم گذار حالت تعریف می شود. سپس نیازمندی های سیستم، شامل رخدادهایی که باید اتفاق بیفتد و آن هایی که بروزشان در سیستم موجب نقص می شود، با استفاده از مدل سیستم استخراج و توسط منطق درخت محاسباتی به صورت رسمی بیان می شوند. در فاز بعدی، نیازمندی های مدل شده ( ضوابط ایمنی) با منطق درخت محاسباتی و سیستم های گذار ( مدل سیس...
راستی آزمایی زمان اجرای سیستم سرویس گرای حساس به ایمنی به کمک asm
گرایش به سمت استفاده از سیستم های سرویس گرا رو به افزایش است؛ اگرچه ذات بسیار پویای این سیستم ها فرایند راستی آزمایی آنها را در عمل با مشکلات زیادی روبه رو کرده است. راستی آزمایی زمان اجرا اگرچه بیشتر به منظور استفاده در سیستم های حساس به ایمنی طراحی شده است، اما می توان از آن به عنوان روشی جدید در فرایند راستی آزمایی سیستم های سرویس گرا هم بهره برد. در این پروژه فرایند راستی آزمایی زمان اجرای...
15 صفحه اولگزارش فرسایش ضربان ساز قلب به عنوان عارضه تأخیری کاشت
عارضه تأخیری کاشت ضربان ساز قلب که به جراحی نیاز داشته باشد، عارضه نادری است. فرسایش ضربان ساز میتواند به دلیل عفونت اولیه یا یک فرایند غیرعفونی مانند فشار مکانیکی رخ دهد. در این مقاله فرسایش شدید ضربان ساز قلب در خانمی 83 ساله گزارش میشود که در سال 1390 به دلیل بلوک کامل قلبی در بیمارستانی در تهران تحت عمل تعبیه ضربان ساز دو حفرهای قرار گرفته بود. این بیمار پس از یک سال به علت فرسایش ژنرا...
متن کاملمعاهده 2013 تجارت تسلیحات و روش های راستی آزمایی آن
معاهدۀ 2013 تجارت تسلیحات، در پرتو تحول حقوق بین‌الملل به‌خصوص گسترش مسئولیت دولت‌ها، حقوق بشر و حقوق بشردوستانه، نتیجۀ تلاش‌های بین‌المللی برای قاعده‌مند کردن تجارت تسلیحات متعارف در قالب یک معاهدۀ حقوقی الزام‌آور است که پس از شکست کنفرانس‌های دیپلماتیک 2012 و 2013 سازمان ملل متحد و نهایتاً با تصمیم مجمع عمومی تبدیل به یک معاهده شد. یکی از مهم‌ترین عناصر معاهدات تسلیحاتی روش‌های راستی‌آزمایی پا...
متن کاملراه های راستی آزمایی در مکاشفات عرفانی
عرفان نظری مکتبی در شناخت هستی است که منبع معرفتی و اصلی آن کشف و شهود است. وجود اختلاف و گاه تنافی و تعارض میان شهودهای عارفان، یکی از مهم ترین مسائلی است که اعتبار کشف و شهود را به عنوان منبعی معرفتی به چالش کشیده است. در این مقاله ضمن اذعان به اصل وجود اختلاف و تعارض میان مراتبی از کشف و شهود، مهم ترین میزان هایی که در آثار عرفا برای تمیز مکاشفات صحیح از سقیم، بیان شده است، معرفی و بررسی می ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده مهندسی برق و کامپیوتر
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023